Conditionals in reasoning
نویسنده
چکیده
The paper presents a non-monotonic inference relation on a language containing a conditional that satisfies the Ramsey Test. The logic is a weakening of classical logic and preserves many of the ‘paradoxes of implication’ associated with the material implication. It is argued, however, that once one makes the proper distinction between supposing that something is the case and accepting that it is the case, these ‘paradoxes’ cease to be counterintuitive. A representation theorem is provided where conditionals are given a non-bivalent semantics and epistemic states are represented via preferential models.
منابع مشابه
Comprehension of factual, nonfactual, and counterfactual conditionals by Iranian EFL learners
A considerable amount of studies have been established on conditional reasoning supporting mental model theory of propositional reasoning. Mental model theory proposed by Johnson- larid and Byrne is an explanation of someone's thought process about how something occurs in the real world. Conditional reasoning as a kind of reasoning is the way to speak about possibilities or probabilities. The a...
متن کاملInverting Conditional Opinions in Subjective Logic
Subjective Logic has operators for conditional deduction and conditional abduction where subjective opinions are input arguments. With these operators traditional Bayesian reasoning can be generalised from taking only probabilistic arguments to also taking opinions as arguments, thereby allowing Bayesian modeling of situations affected by uncertainty and incomplete information. Conditional dedu...
متن کاملReasoning with Conditionals in Artificial Intelligence
Conditionals of one kind or another are the dominant form of knowledge representation in Artificial Intelligence. However, despite the fact that they play a key role in such different formalisms as production systems and logic programming, there has been little effort made to study the relationships between these different kinds of conditionals. In this paper I present a framework that attempts...
متن کاملMental models in deductive reasoning.
We report research investigating the role of mental models in deduction. The first study deals with conjunctive inferences (from one conjunction and two conditional premises) and disjunctive inferences (from one disjunction and the same two conditionals). The second study examines reasoning from multiple conditionals such as: If e then b; If a then b; If b then c; What follows between a and c? ...
متن کاملReasoning with conditionals: a test of formal models of four theories.
The four dominant theories of reasoning from conditionals are translated into formal models: The theory of mental models (Johnson-Laird, P. N., & Byrne, R. M. J. (2002). Conditionals: a theory of meaning, pragmatics, and inference. Psychological Review, 109, 646-678), the suppositional theory (Evans, J. S. B. T., & Over, D. E. (2004). If. Oxford: Oxford University Press), a dual-process variant...
متن کاملObligation versus Factual Conditionals under the Weak Completion Semantics
Conditionals play a prominent role in human reasoning and, hence, all cognitive theories try to evaluate conditionals like humans do. In this paper, we are particularly interested in theWeak Completion Semantics, a new cognitive theory based on logic programming, the weak completion of a program, the three-valued Łukasiewicz logic, and abduction. We show that the evaluation of conditionals with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 171 شماره
صفحات -
تاریخ انتشار 2009